From 9fa031a90441e51c5d90a95144c63ce90a621d69 Mon Sep 17 00:00:00 2001 From: Sam Reed Date: Wed, 30 Jun 2010 15:34:59 +0000 Subject: [PATCH] Followup r65037, do the same for the other route of badtitle --- includes/Wiki.php | 1 + 1 file changed, 1 insertion(+) diff --git a/includes/Wiki.php b/includes/Wiki.php index cb0ef8bcc7..cb14e5ce81 100644 --- a/includes/Wiki.php +++ b/includes/Wiki.php @@ -190,6 +190,7 @@ class MediaWiki { // Invalid titles. Bug 21776: The interwikis must redirect even if the page name is empty. if( is_null($title) || ( ($title->getDBkey() == '') && ($title->getInterwiki() == '') ) ) { $title = SpecialPage::getTitleFor( 'Badtitle' ); + $output->setTitle( $title ); // bug 21456 # Die now before we mess up $wgArticle and the skin stops working throw new ErrorPageError( 'badtitle', 'badtitletext' ); -- 2.20.1